A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report by rvolz.eth1442 🥝 • 26d • | |
Recommended by 1 curator | |
 | |
Characters remaining: 10,000 comment guidelines | |
Get Kiwi App
Scan with iPhone to join
TestFlight beta
